<!DOCTYPE html>
<!--
     SPDX-License-Identifier: CC-BY-SA-4.0
     SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
<!-- Page last generated 2025-02-20 03:16:15 +0000 -->
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>The seL4 microkernel | seL4 docs</title>

    <!-- Our stylesheet and theme stylesheet.  Contains bootstrap. -->
    <link rel="stylesheet" href="/assets/css/style.css" type="text/css">
    <!-- Font awesome -->
    <link href="https://use.fontawesome.com/releases/v5.0.8/css/all.css" rel="stylesheet">
    <link href="https://fonts.googleapis.com/css2?family=Roboto&display=swap" rel="stylesheet">
    <!-- Pygments syntax highlighting  -->
    <link rel="stylesheet" href="/assets/css/highlighting/trac.css" type="text/css">
    <link rel="icon" type="image/x-icon" href="/assets/favicon.ico"><script defer data-domain="docs.sel4.systems"
	    src="https://analytics.sel4.systems/js/script.js"></script></head>

  <body class="container-fluid">

    



<header>
  <ul class="row menu">
    <li class="col-xs-12 col-md-2" >
            <a href="https://sel4.systems" class="skip-icon">
              <img class="img-responsive" src="/assets/logo-text-white.svg" alt="seL4 logo" />
            </a>
    </li>
    <li class="col-xs-12 col-md-10 menu">
      <nav aria-label="Banner links">
        <h2><a href="/Resources" />Resources</h2>
        <h2><a href="/processes" />Contributing</a></h2>
        <h2><a href="/projects" />Projects</h2>
        <h2><a href="/Tutorials" />Tutorials</h2>
        <iframe title="DuckDuckGo search bar" src="https://duckduckgo.com/search.html?site=docs.sel4.systems&prefill=Search%20sel4.systems" style="overflow:hidden;margin-bottom:10px; padding:0;height:40px;float:right;border-width: 0px"></iframe>
      </nav>
    </li>
  </ul>
  <div class="clear"></div>
  
<div class="breadcrumbs bootstrap hidden-sm-down">
  <nav class="sel-breadcrumb" aria-label="Breadcrumb" >
    <ol class=" list-unstyled" vocab="http://schema.org/" typeof="BreadcrumbList">
      
      
        

        

        <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <a property="item" typeof="WebPage" href="/">
              <span property="name"><b>seL4 Docs</b></span>
            </a>
            <meta property="position" content="1" />
        </li>
      
        

        

        <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <a property="item" typeof="WebPage" href="/projects/">
              <span property="name"><b>Projects</b></span>
            </a>
            <meta property="position" content="2" />
        </li>
      
        

        
          <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <span property="name">The seL4 microkernel</span>
            <meta property="position" content="3" /></li>
          
    </ol>
  </nav>
  <nav class="sel-version" aria-label="Current Versions">
    <ol class="list-unstyled">
      <li class="list-unstyled text-right" style="margin-left:auto; padding:0rem 0rem;">
        Current versions:</li>
      <li class="list-unstyled text-right">
      <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/capdl/0.3.0"><b>capDL-0.3.0</b></a></li>
      </ol>
  </nav>
  <div class='clear'></div>
</div>


</header>

    <main>
      <div class="row">
  <div class="hidden-xs col-sm-4 col-md-3 col-lg-2">
    


<div class="sidebar">















    <ul class="nav nav-sidebar">
  
    
    

    
        <li class="active">
            <a class="" href="/projects/sel4/">seL4</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/l4v/">L4.verified</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/camkes/">CAmkES</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/capdl/">CapDL</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/elfloader/">Elfloader</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/buildsystem/">seL4 Buildsystem</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/user_libs/">user_libs</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/sel4runtime/">The seL4 run-time</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/sel4webserver/">seL4webserver</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/sel4-tutorials/">seL4 tutorials</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/sel4bench/">sel4bench</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/sel4test/">seL4Test</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/virtualization/">Virtualization</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/camkes-vm/">camkes-vm</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/dockerfiles/">Dockerfiles</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/docsite/">seL4 Documentation website</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/sel4_tools/">seL4_tools</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/microkit/">Microkit</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/hardware_hacks/">Hardware Hacks</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/rust/">Rust</a>
        </li>
  
    </ul>


</div>

  </div>
  <div class="content col-sm-8 col-md-6 col-lg-7 main">
    
<!--
     Copyright 2014, General Dynamics C4 Systems

     SPDX-License-Identifier: GPL-2.0-only
-->

<h1 id="the-sel4-microkernel">The seL4 microkernel</h1>

<p><a href="https://bestpractices.coreinfrastructure.org/projects/5003"><img src="https://bestpractices.coreinfrastructure.org/projects/5003/badge" alt="CII Best Practices" /></a>
<a href="https://github.com/seL4/seL4/actions/workflows/push.yml"><img src="https://github.com/seL4/seL4/actions/workflows/push.yml/badge.svg" alt="CI" /></a>
<a href="https://github.com/seL4/seL4/actions/workflows/sel4test-deploy.yml"><img src="https://github.com/seL4/seL4/actions/workflows/sel4test-deploy.yml/badge.svg" alt="seL4Test" /></a>
<a href="https://github.com/seL4/seL4/actions/workflows/cparser.yml"><img src="https://github.com/seL4/seL4/actions/workflows/cparser.yml/badge.svg" alt="C Parser" /></a>
<a href="https://github.com/seL4/seL4/actions/workflows/compilation-checks.yml"><img src="https://github.com/seL4/seL4/actions/workflows/compilation-checks.yml/badge.svg" alt="Compile" /></a>
<a href="https://github.com/seL4/seL4/actions/workflows/preprocess-deploy.yml"><img src="https://github.com/seL4/seL4/actions/workflows/preprocess-deploy.yml/badge.svg" alt="Proof Sync" /></a>
<a href="https://github.com/seL4/seL4/actions/workflows/manual.yml"><img src="https://github.com/seL4/seL4/actions/workflows/manual.yml/badge.svg" alt="RefMan" /></a>
<a href="https://github.com/seL4/seL4/actions/workflows/xml_lint.yml"><img src="https://github.com/seL4/seL4/actions/workflows/xml_lint.yml/badge.svg" alt="XML" /></a></p>

<p>This project contains the source code of seL4 microkernel.</p>

<p>For details about the seL4 microkernel, including details about its formal
correctness proof, please see the <a href="http://sel4.systems/"><code class="language-plaintext highlighter-rouge">sel4.systems</code></a> website and associated
<a href="/projects/sel4/frequently-asked-questions">FAQ</a>.</p>

<p>DOIs for citing recent releases of this repository:</p>

<ul>
  <li><a href="https://doi.org/10.5281/zenodo.591727"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.591727.svg" alt="DOI" /></a></li>
</ul>

<p>We welcome contributions to seL4. Please see the website for information
on <a href="/processes/contributing.html">how to contribute</a>.</p>

<p>This repository is usually not used in isolation, but as part of the build
system in a larger project.</p>

<h2 id="sel4-basics">seL4 Basics</h2>

<ul>
  <li><a href="/Tutorials">Tutorials</a></li>
  <li><a href="/projects/sel4/documentation">Documentation</a></li>
  <li><a href="/projects/user_libs">seL4 libraries</a></li>
  <li><a href="/projects/sel4test/">seL4Test</a></li>
  <li><a href="/projects/sel4-tutorials/debugging-guide">Debugging guide</a></li>
  <li><a href="/projects/sel4-tutorials/benchmarking-guide.html">Benchmarking guide</a></li>
  <li><a href="/projects/virtualization/">Virtualization on seL4</a></li>
  <li><a href="/projects/buildsystem/host-dependencies.html">Host Build Dependencies</a></li>
  <li><a href="/projects/sel4/porting">Porting seL4</a></li>
</ul>

<h2 id="community">Community</h2>

<ul>
  <li>Forums:
    <ul>
      <li><a href="https://sel4.discourse.group/">Discourse</a></li>
      <li><a href="https://lists.sel4.systems/postorius/lists/announce.sel4.systems">seL4 Announce</a></li>
      <li><a href="https://lists.sel4.systems/postorius/lists/devel.sel4.systems">seL4 Devel</a></li>
    </ul>
  </li>
  <li><a href="/SuggestedProjects">Suggested projects</a></li>
  <li><a href="/CommunityProjects">Community projects</a></li>
</ul>

<p>See the <a href="https://sel4.systems/contact">contact</a> links on the seL4 website for the full list.</p>

<h2 id="reporting-security-vulnerabilities">Reporting security vulnerabilities</h2>

<p>If you believe you have found a security vulnerability in seL4 or related
software, we ask you to follow our <a href="https://github.com/seL4/seL4/blob/master/SECURITY.md">vulnerability disclosure policy</a>.</p>

<h2 id="manual">Manual</h2>

<p>A hosted version of the <a href="manual/">manual</a> for the most recent release can be found <a href="https://sel4.systems/Info/Docs/seL4-manual-latest.pdf">here</a>.</p>

<p>A web version of the API can be found <a href="/projects/sel4/api-doc.html">here</a></p>

<h2 id="repository-overview">Repository Overview</h2>

<ul>
  <li><code class="language-plaintext highlighter-rouge">include</code> and <code class="language-plaintext highlighter-rouge">src</code>: C and ASM source code of seL4</li>
  <li><code class="language-plaintext highlighter-rouge">tools</code>: build tools</li>
  <li><code class="language-plaintext highlighter-rouge">libsel4</code>: C bindings for the seL4 ABI</li>
  <li><code class="language-plaintext highlighter-rouge">manual</code>: LaTeX sources of the seL4 reference manual</li>
</ul>

<h2 id="build-instructions">Build Instructions</h2>

<p>See the seL4 website for <a href="/Resources#setting-up-your-machine">build instructions</a>.</p>

<h2 id="status">Status</h2>

<p>A list of releases and current project status can be found under <a href="/releases/sel4">seL4 releases</a>.</p>

<ul>
  <li><a href="/projects/roadmap">Roadmap</a>: new features in development</li>
  <li><a href="/Hardware">Hardware Support</a>: information about hardware platform ports</li>
  <li><a href="/projects/sel4/status">Kernel Features</a>: information about available
kernel features</li>
  <li><a href="/projects/available-user-components.html">Userland Components and
    Drivers</a>: available device
    drivers and userland components</li>
</ul>

<h2 id="license">License</h2>

<p>See the file <a href="./LICENSE.md">LICENSE.md</a>.</p>

<p><em>File included from <a href="https://github.com/sel4/sel4/blob/master/README.md">github repo</a> <a href="https://github.com/sel4/sel4/edit/master/README.md">edit</a></em></p>


  </div>







  
  
<div class="sidebar-toc hidden-xs hidden-sm col-md-3 col-lg-3">
  
    <ul class="section-nav">
    	<h2> seL4 </h2> 
        <li>
          
          <a style=" font-weight: bold; " class="" href="/projects/sel4/">
            Documentation homepage
          </a>
        </li>




        <li>
          
          <a style="" class="" href="/projects/sel4/status.html">
            Status
          </a>
        </li>














    
        <h3>Repositories</h3>
    
        <li>
          <a class="" href="https://github.com/seL4/sel4">
            sel4
          </a>
        </li>









<h3>Releases</h3>

    
      <li>
        <a style="" href="/releases/sel4/13.0.0.html">
          seL4 13.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-13.0.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/12.1.0.html">
          seL4 12.1.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-12.1.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/12.0.0.html">
          seL4 12.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-12.0.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/11.0.0.html">
          seL4 11.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-11.0.0.pdf">manual</a>)
      </li>

    


    


    
      <li>
        <a style="" href="/releases/sel4/10.1.1.html">
          seL4 10.1.1
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-10.1.1.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/10.1.0.html">
          seL4 10.1.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-10.1.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/10.0.0.html">
          seL4 10.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-10.0.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/9.0.1.html">
          seL4 9.0.1
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-9.0.1.pdf">manual</a>)
      </li>

    


    


    
      <li>
        <a style="" href="/releases/sel4/9.0.0.html">
          seL4 9.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-9.0.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/8.0.0.html">
          seL4 8.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-8.0.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/7.0.0.html">
          seL4 7.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-7.0.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/6.0.0.html">
          seL4 6.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-6.0.0.pdf">manual</a>)
      </li>

    


    


    
      <li>
        <a style="" href="/releases/sel4/5.2.0.html">
          seL4 5.2.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-5.2.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/5.1.0.html">
          seL4 5.1.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-5.1.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/5.0.0.html">
          seL4 5.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-5.0.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/4.0.0.html">
          seL4 4.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-4.0.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/3.2.0.html">
          seL4 3.2.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-3.2.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/3.1.0.html">
          seL4 3.1.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-3.1.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/3.0.1.html">
          seL4 3.0.1
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-3.0.1.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/3.0.0.html">
          seL4 3.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-3.0.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/2.1.0.html">
          seL4 2.1.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-2.1.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/2.0.0.html">
          seL4 2.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-2.0.0.pdf">manual</a>)
      </li>

    


    


    










    </ul>

</div>


</div>

    </main>
    


<footer class="site-footer">

  <h2 class="footer-heading">seL4 docs</h2>

  <div class="footer-col-wrapper">

    <div class="col-md-2">
      



<ul class="social-media-list">
  <li><a href="https://github.com/sel4"><i class="fab fa-github"></i> <span class="username">sel4</span></a></li><li><a href="https://github.com/sel4proj"><i class="fab fa-github"></i> <span class="username">sel4proj</span></a></li>
</ul>

    </div>

    <div class="col-md-8">
      <ul class="list-unstyled">
        <li>
          This site is for displaying seL4 related documentation.  Pull requests are welcome.
        </li>
        
          <li>
            Site last updated: Fri Feb 7 10:17:38 2025 +1100 ee78c8857c
          </li>
          <li>
                Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
          </li>
        
      </ul>
    </div>
    <div class="col-md-2">
<a href="https://github.com/seL4/docs/blob/master/projects/sel4/index.md">View page on GitHub</a>
      <br />
      <a href="https://github.com/seL4/docs/edit/master/projects/sel4/index.md">Edit page on GitHub</a>
      <br />
      <a href="/sitemap">Sitemap</a>
    </div>

  </div>

</footer>

  </body>
</html>
